Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
281	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
282	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism
283	´e§ Peter Verde Inge De Bal¶ A new approach to classical relevance Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-12-20 10:14:17 Non-classical logic Binary operations Relevance logic Material conditional Vacuous truth Paradoxes of material implication Entailment Relevance Negation Logic Propositional calculus Philosophical logic
284	Background Description Logic Systems U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:14:36 Health Mononegavirales Philosophy of mathematics Philosophical logic Rabies Is-a Modal logic Description logic Classifier Logic Science Non-classical logic
285	Alleged assassins: realist and constructivist semantics for modal modification Bjørn Jespersen1? and Giuseppe Primiero2?? 1 Institute of Philosophy, Department of Logic, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 04:07:16 Model theory Non-classical logic Philosophical logic Modal logic Interpretation First-order logic Adjective Continuous function Function Logic Mathematical logic Mathematics
286	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
287	The Role of Advanced Signal Detection Techniques in the Development of High-resolution, Accurate Decision Support Systems Presented by Add to Reading List Source URL: www.ofcm.gov Language: English - Date: 2001-11-26 16:52:11 Science Logic in computer science Fuzzy logic Non-classical logic Logic programming MM5 Neuro-fuzzy Type-2 fuzzy sets and systems Artificial intelligence Logic Mathematical logic
288	A Unifying Framework for Reasoning about Normative Conflicts Mathieu Beirlaen∗ Abstract First, two context-dependent desiderata are presented for Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 04:38:36 Modal logic Philosophy of law Non-classical logic Philosophical logic Philosophy of language Deontic logic Paraconsistent logic Norm Rights Logic Mathematical logic Philosophy
289	Decidability of Parameterized Probabilistic Information Flow Danièle Beauquier1 , Marie Duflot1 and Yury Lifshits2 1 2 Add to Reading List Source URL: yury.name Language: English - Date: 2008-11-06 22:09:07 PP Ergodic theory Probabilistic bisimulation Probability and statistics Mathematical sciences Non-classical logic Markov models Applied mathematics Markov chain
290	Aftermath & Antimath (antiscience fiction) Add to Reading List Source URL: www.gallup.unm.edu Language: English - Date: 2012-04-19 18:33:09 Philosophical logic Non-classical logic Mathematical logic Axiology Modal logic Function Mathematical proof Type theory Mathematics Logic Knowledge

UPDATE